home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Environments / SmallEiffel 0.3.3 / SmallEiffel 68k / lib_test / test_req2.e < prev    next >
Encoding:
Text File  |  1996-06-13  |  494 b   |  40 lines  |  [TEXT/EDIT]
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class TEST_REQ2
  5.    --
  6.    -- To correct a bug find by Cyril ADRIAN.
  7.    --
  8. creation {ANY}
  9.    make
  10.    
  11. feature {ANY}
  12.    
  13.    ab: ARRAY[BOOLEAN];
  14.       
  15.    make is
  16.       do
  17.      ab := <<true>>;
  18.      r;
  19.       end;
  20.    
  21.    r is 
  22.       require
  23.      ab @ 1;
  24.       do 
  25.      check
  26.         ab.item(1);
  27.      end;
  28.       ensure
  29.      ab.item(1);
  30.       end;
  31.    
  32. invariant
  33.    
  34.    ab.first;
  35.  
  36. end -- TEST_REQ2
  37.  
  38.  
  39.  
  40.